Extending the fault classification hierarchy for software with relational operators
نویسندگان
چکیده
Testing is a simple and direct way for making software more reliable. Many specification-based software testing mechanisms utilize test points generated based on fault hierarchies, classes of which are categorized by common faults frequently introduced during software implementation. The testing method is effective to identify Boolean faults but has a severe drawback, which is not applicable to testing software with relational operators such as “>” or “!=”. This paper carefully investigates the characteristic of relational operator faults and proposes a unique way to find relational operator reference faults in software. Its feasibility is also shown by applying the proposed method to a HVAC (Heating/Ventilating/Air-Conditioning) system of commercial vehicle. Key-Words: Specification-based test, Boolean fault, relational operator reference fault. Fault classes hierarchy
منابع مشابه
Accurate Fault Classification of Transmission Line Using Wavelet Transform and Probabilistic Neural Network
Fault classification in distance protection of transmission lines, with considering the wide variation in the fault operating conditions, has been very challenging task. This paper presents a probabilistic neural network (PNN) and new feature selection technique for fault classification in transmission lines. Initially, wavelet transform is used for feature extraction from half cycle of post-fa...
متن کاملComparison of fault classes in specification-based testing
Our results extending Kuhn’s fault class hierarchy provide a justification for the focus of fault-based testing strategies on detecting particular faults and ignoring others. We develop a novel analytical technique which allows us to elegantly prove that the hierarchy applies to arbitrary expressions, not just those in disjunctive normal form. We also use the technique to extend the hierarchy t...
متن کاملFault location and classification in non-homogeneous transmission line utilizing breaker transients
In this paper, a single-ended fault location method is presented based on a circuit breaker operation using the frequencies of traveling waves. The proposed method receives the required data from voltage traveling waves with the aid of Fast Fourier Transform (FFT) and Wavelet Transform. Then, the Artificial Neural Network (ANN) identifies fault type and determines its location. In order to eval...
متن کاملThe similarity-aware relational database set operators
Identifying similarities in large datasets is an essential operation in several applications such as bioinformatics, pattern recognition, and data integration. To make a relational database management system similarity-aware, the core relational operators have to be extended. While similarity-awareness has been introduced in database engines for relational operators such as joins and group-by, ...
متن کاملStructural Manipulations of Software Architecture using Tarski Relational Algebra
A software architecture is typically drawn as a nested set of box and arrow diagrams. The boxes represent components of the software system and the edges represent interactions. These diagrams correspond to typed graphs, in which there are a number of "types" or "colors" of edges, and in which there is a distinguished "contain" relation that represents the system hierarchy (the nesting of boxes...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006